наиболее ранняя форма дифференциального и интегрального исчислений. Возникло и в основных частях было развито в сочинениях И. Ньютона; основные факты Ф. и. были получены им в 1665-66. Задачи исчисления флюксий Ньютон формулировал так: "1. Длина проходимого пути постоянно (т. е. в каждый момент времени) дана; требуется найти скорость движения в предложенное время. 2. Скорость движения постоянно дана; требуется найти длину пройденного в предложенное время пути" (Ньютон И., Математические работы, пер. с лат., М. - Л., 1937, с. 45). Время Ньютон понимал как общий аргумент, к которому отнесены все переменные величины. Систему величин х, у, z,..., одновременно изменяющихся непрерывно в зависимости от времени, он называл флюентами (лат. fluens - текущий, от fluo - теку), скорости, с которыми изменяются флюенты, - флюксиями (лат. fluxio - истечение): , , . Т. о., флюксий являются производными флюент по времени. Бесконечно малые изменения флюент Ньютон назвал моментами (понятие момента в Ф. и. соответствует дифференциалу), момент независимого переменного он обозначил знаком о, момент флюенты х - знаком xo. Представление о существе операции отыскания флюксий и особенностях символики можно получить из следующего примера (см. там же, с. 50): "Пусть, например, дано уравнение

x³ - axx + аху - y³ = 0.

Подставь в него и вместо х и у, ты получишь

Но по предположению x³ - axx + аху - y³ = 0. Поэтому вычеркни эти члены, а остальные раздели на о. При этом останется

Но так как мы предположили о бесконечно малой величиной, для того чтобы она могла выражать моменты величин, то те члены, которые на неё умножены, можно считать за ничто в сравнении с другими. Поэтому я ими пренебрегаю, и остаётся

Об обратной задаче Ф. и., обосновании Ф. и. и его истории см. в ст. Ньютон И. и Дифференциальное исчисление.

Ф. и., как особый вид дифференциального и интегрального исчисления со своеобразной символикой, развивалось только в работах английских математиков. В конце 17 - начале 18 вв. оно было вытеснено дифференциальным исчислением с символикой, более удобной и потому чаще употребляемой. Символы, принятые в Ф. и., частично сохранились в механике и в векторном анализе.

Лит.: Ньютон И., Математические работы, пер. с лат., М. - Л., 1937; его же, Математические начала натуральной философии, пер. с лат., М. - Л., 1936; Цейтен Г. Г., История математики в XVI и XVII веках, пер. с нем., 2 изд., М. - Л., 1938; Колмогорова. Н., Ньютон и современное математическое мышление, в кн.: Московский университет - памяти Исаака Ньютона. 1643-1943, М., 1946; Cajori F., A history of the conceptions of limits and fluxions in Great Britain, from Newton, to Woodhouse, Chi. - L., 1919.

основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) - и Алгоритмы решения. Примерами И. могут служить совокупность арифметических правил оперирования с цифрами (т. е. числовыми знаками), "буквенное" И. элементарной алгебры, дифференциальное И., интегральное И., вариационное И. и другие ветви математического анализа и теории функций. Несмотря на раннее происхождение, термин "И." употреблялся в математике до недавнего времени без строгого общего определения. С развитием математической логики возникла потребность в общей теории И. и в уточнении самого понятия "И.", которое подверглось более последовательной формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Д. Гильберта) представление об И. Рассматривается некоторый (вообще говоря, бесконечный, хотя и, быть может, задаваемый посредством конечного числа символов) алфавит, из элементов которого, именуемых буквами, с помощью четко сформулированных правил образования строятся формулы рассматриваемого И. (называемые также иногда словами, или выражениями). Некоторые из таких ("правильно построенных") формул объявляются аксиомами, а из них с помощью правил преобразования (или, иначе, правил вывода) "выводятся" новые формулы, называемые теоремами данного И. Иногда термин "И." относят лишь к "словарной" ("выразительной") части описанного построения, говоря, что присоединение к ней "дедуктивной" части (т. е. добавление к алфавиту и правилам образования аксиом и правил ввода) даёт формальную систему. Впрочем, эти термины часто считают синонимичными (и в качестве синонимов пользуются также терминами "логистическая система", "формализм", "формальная теория" и многими др.). Если такое неинтерпретированное ("бессмысленное") И. сопоставить с некоторой интерпретацией (См. Интерпретация) (или, как говорят, дополнить чисто синтаксические рассмотрения некоторой семантикой; см. Логическая семантика) то получают Формализованный язык. Представление содержательных логических (и логико-математических) теорий в виде формализованных языков есть характерная особенность математической логики (см. также Доказательство).

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14-20; Марков А. А., Теория алгорифмов, М.-Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.

Ю. Л. Гастев.